﻿Com o uso do comando logcontract, uma expressão como log(x)-log(y), usando propriedades, resulta em log(x/y)